A UNITY-Based Framework Towards Component Based Systems
نویسندگان
چکیده
The paper offers a UNITY-based framework to model distributed applications which are built with a component based approach. The framework enables components to be abstractly specified in terms of contracts. Temporal properties are expressed and proven in the UNITY style. Compositional reasoning about components’ properties, including progress, is supported. The semantical model is simple and intuitive. ∗Informatica Instituut , Universiteit Utrecht , email: {wishnu,doaitse,ade}@cs.uu.nl. †Instituto Tecnológico de Informática , Universidad Politécnica de Valencia , email: [email protected].
منابع مشابه
Towards a Compositional Approach to the Design and Verification of Distributed Systems
We are investigating a component-based approach for formal design of distributed systems. In this paper, we introduce the framework we use for specification, composition and communication and we apply it to an example that highlights the different aspects of a compositional design, including top-down and bottom-up phases, proofs of composition, refinement proofs, proofs of program texts, and co...
متن کاملGovernance and Capacity to Manage Resilience of Health Systems: Towards a New Conceptual Framework
The term resilience has dominated the discourse among health systems researchers since 2014 and the onset of the Ebola outbreak in West Africa. There is wide consensus that the global community has to help build more resilient health systems. But do we really know what resilience means, and do we all have the same vision of resilience? The present paper presents a new conceptual framework on go...
متن کاملA statistical analysis framework for bus reliability evaluation based on AVL data: A case study of Qazvin, Iran
Reliability is a fundamental factor in the operation of bus transportation systems for the reason that it signifies a straight indicator of the quality of service and operator’s costs. Todays, the application of GPS technology in bus systems provides big data availability, though it brings the difficulties of data preprocessing in a methodical approach. In this study, the principal component an...
متن کاملRegional Convergence in Knowledge-based Economy
Nowadays, the world economies are rapidly moving towards being more Knowledge-based Economy (KBE) and supporting the force of knowledge as a vital component of economic growth. This recent acceleration in the transition to Knowledge-based Economy in the world, has affected regional economic performance. In this paper, we surveyed the regional convergence in Knowledge-based Economy for selected ...
متن کاملTowards Automatic Migration of ROS Components from Software to Hardware
The use of the ROS middleware is a growing trend in robotics in general, in particular in experimental branches of robotics such as modular robotics, fields robotics, and the vast area of cyber-physical systems (for example applied to welfare technology). Our main area of interest is in experimental robotics and cyber-physical systems. When building “robot controllers” for the aforementioned sy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004